-
1 theorem
ˈθɪərəm сущ. теорема to deduce a theorem ≈ выводить теорему to formulate a theorem ≈ формулировать теорему to prove a theorem ≈ доказывать теорему to test a theorem ≈ проверять теорему binomial theorem Syn: principle теорема - by * по теореме - reciprocal * обратная теорема - to prove the * доказать теорему( редкое) выражать посредством или в форме теоремы addition ~ теорема сложения basis ~ теорема об опорном плане cobweb ~ полит.эк. теорема "паутины" cobweb ~ теорема паутины duality ~ теорема двойственности equilibrium ~ теорема о равновесии extended mean value ~ обобщенная теорема о среднем extreme-value ~ теорема об экстремальных значениях limit ~ предельная теорема mean ergodic ~ эргодическая теорема о среднем minimax ~ теорема о минимаксе multiplication ~ теорема умножения optimality ~ теорема об оптимальности saddle-value ~ теорема о седловой точке substitution ~ теорема о замещении tangency ~ теорема касания theorem теорема turnpike ~ теорема о магистрали -
2 theorem
['θɪərəm]сущ.- Pythagoras' theorem -
3 formulate a theorem
Математика: формулировать теорему
См. также в других словарях:
Теорема Римана об отображении — У этого термина существуют и другие значения, см. Теорема Римана. Теорема Римана об отображении (в комплексном анализе именуемая просто теоремой Римана) важнейший факт 2 мерной конформной геометрии и одномерного комплексного анализа. Пусть… … Википедия
МЕТРИЧЕСКАЯ ТЕОРИЯ ЧИСЕЛ — раздел теории чисел, в к ром изучаются и метрически (т. е. на основе теории меры )характеризуются множества чисел, обладающих определенными арифметич. свойствами. М. т. ч. тесно связана с теорией вероятностей, что иногда дает возможность… … Математическая энциклопедия
ПИКАРА ТЕОРЕМА — 1) П. т. о поведении аналитической функции f(z) комплексного переменного zв окрестности существенно особой точки а название результата классич. теории функций, явившегося отправным пунктом многочисленных глубоких исследований и состоящего из двух … Математическая энциклопедия
рамсей-элиминация — РАМСЕЙ ЭЛИМИНАЦИЯ (от лат. eliminare изгонять) метод, позволяющий на основании дедуктивной систематизации, полученной с помощью теоретических терминов, осуществить эту систематизацию без теоретических терминов. Метод основывается на… … Энциклопедия эпистемологии и философии науки
условное высказывание — сложное высказывание, формулируемое обычно с помощью связки если..., то... и устанавливающее, что одно событие, состояние и т. п. является в том или ином смысле основанием или условием другого. Напр.: Если есть огонь, то есть дым , Если число… … Словарь терминов логики
Эстетика — составляет особую отрасль философии, занимающуюся красотой и искусством. Самый термин Э. происходит от греческого αίσθετικός, что значит чувственный, и в таком смысле встречается еще у самого основателя науки о прекрасном, Канта, в Критике… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
ИМПЛИКАЦИЯ — (от лат. implicatio сплетение, от implico тесно связываю) логическая связка, соответствующая грамматической конструкции «если.., то...», с помощью которой из двух простых высказываний образуется сложное высказывание. В импликативном высказывании… … Философская энциклопедия
ПЛАТОН — (nlato) (427 347 до н.э.) др. греч. мыслитель, наряду с Пифагором, Парменидом и Сократом родоначальник европейской философии, глава филос. школы Академия. Биографические данные. П. представитель аристократического семейства, принимавшего активное … Философская энциклопедия
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
ВЫВОД () — ВЫВОД (в математической логике) В. обычно называется рассуждение, в ходе к рого последовательно получается ряд связанных друг с другом предложений, а также и сама последовательность этих предложений. Нек рые из числа этих предложений не… … Философская энциклопедия
СХЕМА АКСИОМ — (аксиомная схема) – разновидность постулатов, с помощью к рых в логике задаются исчисления (формальные системы). С а. представляет собой выражение, составленное из т.н. метаматем. букв. т.е. символов, не входящих в алфавит рассматриваемой системы … Философская энциклопедия